sequence of compact operators

紧算子序列